home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Tests / a.w < prev    next >
Encoding:
Text File  |  1989-04-14  |  824 b   |  54 lines
  1. procedure  rewrite/2
  2.  
  3. _1469:
  4.     try_me_else  _1474,2
  5. _1478:
  6.     get_value_x  X1,X2
  7.     switch_on_term  _1492,fail,fail
  8.     fail
  9. _1492:
  10.     cut
  11.     proceed
  12. _1474:
  13.     trust_me_else  fail
  14. _1520:
  15.     get_variable_x  X4,X1
  16.     get_variable_y  Y2,X2
  17.     put_value_x  X4,X1
  18.     put_variable_x  X2,X2
  19.     put_variable_x  X3,X3
  20.     escape  functor/3
  21.     put_variable_y  Y1,X1
  22.     escape  functor/3
  23.     put_value_x  X3,X1
  24.     put_value_x  X4,X2
  25.     put_value_y  Y1,X3
  26.     call  rewrite_args/3,2
  27.     put_value_y  Y2,X1
  28.     put_unsafe_value  Y1,X2
  29.     put_variable_x  X3,X3
  30.     execute_proc  _dummy_3/3
  31.  
  32.  
  33. procedure  _dummy_3/3
  34.  
  35. _2232:
  36.     try_me_else  _2237,3
  37. _2241:
  38.     get_variable_y  Y1,X1
  39.     get_variable_y  Y2,X3
  40.     put_value_x  X2,X1
  41.     put_value_y  Y2,X2
  42.     call  equal/2,2
  43.     cut
  44.     put_value_y  Y2,X1
  45.     put_value_y  Y1,X2
  46.     execute_proc  rewrite/2
  47. _2237:
  48.     trust_me_else  fail
  49. _2325:
  50.     get_value_x  X2,X1
  51.     proceed
  52.  
  53.  
  54.